A Topologist's View of Chu Spaces

نویسندگان

  • Eraldo Giuli
  • Walter Tholen
چکیده

For a symmetric monoidal-closed category X and any object K, the category of K-Chu spaces is small-topological over X and small cotopological over X . Its full subcategory of M-extensive K-Chu spaces is topological over X when X is Mcomplete, for any morphism class M. Often this subcategory may be presented as a full coreflective subcategory of Diers’ category of affine K-spaces. Hence, in addition to their roots in the theory of pairs of topological vector spaces (Barr) and their connections with linear logic (Seely), the Dialectica categories (Hyland, de Paiva), and with the study of event structures for modeling concurrent processes (Pratt), Chu spaces seem to have a less explored link with algebraic geometry. We use the Zariski closure operator to describe the objects of the ∗-autonomous category of M-extensive and Mcoextensive K-Chu spaces in terms of Zariski separation and to identify its important subcategory of complete objects.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Compactification of -spaces Revisited Compactiication of G{spaces Revisited

We discuss compactiications of G{spaces from a new point of view that completely diiers from our earlier approaches. From a topologist's point of view, this new approach is more natural than the previous ones. In addition, it enables a uniied discussion of the compactiication and the linearization problem for G{spaces (which we shall discuss in a subsequent report). The central idea is to get a...

متن کامل

Chu Spaces from the Representational Viewpoint

We give an elementary introduction to Chu spaces viewed as a set of strings all of the same length. This perspective dualizes the alternative view of Chu spaces as generalized topological spaces, and has the advantage of substituting the intuitions of formal language theory for those of topology.

متن کامل

A categorical view at generalized concept lattices

We continue in the direction of the ideas from the Zhang’s paper [14] about a relationship between Chu spaces and Formal Concept Analysis. We modify this categorical point of view at a classical concept lattice to a generalized concept lattice (in the sense of Krajči [7]): We define generalized Chu spaces and show that they together with (a special type of) their morphisms form a category. More...

متن کامل

A new view on fuzzy automata normed linear structure spaces

In this paper, the concept of fuzzy automata normed linear structure spaces is introduced and suitable examples are provided. ;The ;concepts of fuzzy automata $alpha$-open sphere, fuzzy automata $mathscr{N}$-locally compact spaces, fuzzy automata $mathscr{N}$-Hausdorff spaces are also discussed. Some properties related with to fuzzy automata normed linear structure spaces and fuzzy automata $ma...

متن کامل

The Second Calculus of Binary Relations

We view the Chu space interpretation of linear logic as an alternative interpretation of the language of the Peirce calculus of binary relations. Chu spaces amount to K-valued binary relations, which for K = 2 we show generalize n-ary relational structures. We also exhibit a four-stage unique factorization system for Chu transforms that illuminates their op-

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Applied Categorical Structures

دوره 15  شماره 

صفحات  -

تاریخ انتشار 2007